Showing 1 - 4 of 4 Results
1.
Computer Science Logic 16th International Workshop, Csl 2002, 11th Annual Conference of the ... by Bradfield, J. C., European ... ISBN: 9783540442400 List Price: $102.00
2.
Verifying Temporal Properties of Systems by Bradfield, J. C. ISBN: 9783764336257
3.
Verifying Temporal Properties of Systems - J. C. Bradfield - Hardcover by Bradfield, J. C. ISBN: 9780817636258 List Price: $99.00
4.
Verifying Temporal Properties of Systems by Bradfield, J. C. ISBN: 9781468468205 List Price: $24.99